<html>
<head><meta charset="utf-8"><title>meeting 2019.03.07 · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html">meeting 2019.03.07</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="160237416"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160237416" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160237416">(Mar 07 2019 at 21:03)</a>:</h4>
<p>Hey all! Oh, it seems we lack a WG-polonius User Group!</p>



<a name="160237462"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160237462" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160237462">(Mar 07 2019 at 21:04)</a>:</h4>
<p>I may be a few minutes late=)</p>



<a name="160237472"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160237472" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160237472">(Mar 07 2019 at 21:04)</a>:</h4>
<p>give me 5 mins</p>



<a name="160237798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160237798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160237798">(Mar 07 2019 at 21:09)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="204115">@Albin Stjerna</span>, <span class="user-mention" data-user-id="116118">@Matthew Jasper</span>, not sure who else ;)</p>



<a name="160237800"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160237800" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160237800">(Mar 07 2019 at 21:09)</a>:</h4>
<p>You all around?</p>



<a name="160237804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160237804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160237804">(Mar 07 2019 at 21:09)</a>:</h4>
<p>I'm around</p>



<a name="160237939"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160237939" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160237939">(Mar 07 2019 at 21:11)</a>:</h4>
<p>OK, I created a <span class="user-group-mention" data-user-group-id="1184">@WG-polonius</span> with some initial folks -- you all can <a href="https://zulipchat.com/help/user-groups" target="_blank" title="https://zulipchat.com/help/user-groups">add yourselves if you would like</a></p>



<a name="160237950"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160237950" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160237950">(Mar 07 2019 at 21:11)</a>:</h4>
<p>Well, what I had hoped to do today was to try to pick up some concrete next steps</p>



<a name="160237952"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160237952" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160237952">(Mar 07 2019 at 21:11)</a>:</h4>
<p>I seem to be having some connectivity problems with Zulip, but err testing testing check check</p>



<a name="160237976"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160237976" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160237976">(Mar 07 2019 at 21:11)</a>:</h4>
<p>Hi <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> =)</p>



<a name="160238020"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238020" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238020">(Mar 07 2019 at 21:12)</a>:</h4>
<p>I created <a href="https://paper.dropbox.com/doc/Polonius-Roadmap--AYHJSfuXn6f1pU6CcrBPyRw_Ag-hk3a9ynduUN2gk1A0NNTF" target="_blank" title="https://paper.dropbox.com/doc/Polonius-Roadmap--AYHJSfuXn6f1pU6CcrBPyRw_Ag-hk3a9ynduUN2gk1A0NNTF">this Dropbox Paper document</a> a while back</p>



<a name="160238026"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238026" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238026">(Mar 07 2019 at 21:12)</a>:</h4>
<p>It seems that...traffic to Google, Facebook and a few others work great, but I have essentially NO bandwidth to...anything else</p>



<a name="160238032"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238032" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238032">(Mar 07 2019 at 21:12)</a>:</h4>
<p>oh dear</p>



<a name="160238035"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238035" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238035">(Mar 07 2019 at 21:12)</a>:</h4>
<p>Ok, now Zulip seems to work, finally</p>



<a name="160238043"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238043" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238043">(Mar 07 2019 at 21:12)</a>:</h4>
<p>Might have been a temporary ISP thing or something</p>



<a name="160238078"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238078" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238078">(Mar 07 2019 at 21:13)</a>:</h4>
<p>in that paper I broke out four big categories:</p>
<ul>
<li>Extending Polonius to cover the full semantics</li>
<li>Rustc integration</li>
<li>Documentation</li>
</ul>



<a name="160238079"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238079" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238079">(Mar 07 2019 at 21:13)</a>:</h4>
<p>I started to download a VPN app in case there was some sort of traffic shaping and the transfer speed was...850 bytes/s</p>



<a name="160238087"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238087" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238087">(Mar 07 2019 at 21:13)</a>:</h4>
<p>Ok, yeah I saw</p>



<a name="160238109"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238109" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238109">(Mar 07 2019 at 21:13)</a>:</h4>
<p>Some of those are not "purely" one thing or the other -- notably, some of the "extending polonius" things probably require tweaking rustc too, to generate the requisite facts</p>



<a name="160238184"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238184" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238184">(Mar 07 2019 at 21:14)</a>:</h4>
<p>I'm not sure how many people are around to work on things right now, but I was thinking a bit about it and I thought it might be good for <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> to start with a kind of "starter issue"--</p>



<a name="160238215"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238215" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238215">(Mar 07 2019 at 21:15)</a>:</h4>
<p>actually, <span class="user-mention" data-user-id="116118">@Matthew Jasper</span>, you might remember, but I <strong>think</strong> that we currently force you to choose between the "location insensitive" algorithm and the "full" algorithm</p>



<a name="160238230"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238230" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238230">(Mar 07 2019 at 21:15)</a>:</h4>
<p>we don't have a hybrid that uses location insensitive unless there are errors, and then does otherwise, right?</p>



<a name="160238242"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238242" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238242">(Mar 07 2019 at 21:15)</a>:</h4>
<p>Yes, I don't think that a hybrid exists yet. Not even the simplistic kind.</p>



<a name="160238308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238308">(Mar 07 2019 at 21:16)</a>:</h4>
<p>Right, I figured we'd start with a very simplistic one</p>



<a name="160238318"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238318" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238318">(Mar 07 2019 at 21:16)</a>:</h4>
<p>(We can do better eventually)</p>



<a name="160238320"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238320" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238320">(Mar 07 2019 at 21:16)</a>:</h4>
<p>we don't have a hybrid indeed</p>



<a name="160238353"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238353" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238353">(Mar 07 2019 at 21:17)</a>:</h4>
<p>So <span class="user-mention" data-user-id="204115">@Albin Stjerna</span>, for context, the Polonius repository currently lets you choose between a few different "algorithms", basically different implementations of the same concept</p>



<a name="160238354"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238354" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238354">(Mar 07 2019 at 21:17)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> Yes please starter issue</p>



<a name="160238374"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238374" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238374">(Mar 07 2019 at 21:17)</a>:</h4>
<p>One of them is called "location insensitive" -- it is basically an approximate analysis that gives strictly more errors than the full analysis, because it ignores location information</p>



<a name="160238383"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238383" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238383">(Mar 07 2019 at 21:17)</a>:</h4>
<p>but for many examples it is "good enough" to rule out errors</p>



<a name="160238408"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238408" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238408">(Mar 07 2019 at 21:17)</a>:</h4>
<p>it's not useful on its own, but it can be used as a "pre-screen" -- basically, first try this, and only if we get errors do we proceed to the heavier, complete analysis</p>



<a name="160238415"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238415" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238415">(Mar 07 2019 at 21:17)</a>:</h4>
<p>Signed, Confused About Everything</p>



<a name="160238477"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238477" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238477">(Mar 07 2019 at 21:18)</a>:</h4>
<p>(the next level is that we could actually use the results of the location insensitive check to make the full check faster, since it gives us some hints about where within a particular function errors <em>might</em> occur)</p>



<a name="160238486"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238486" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238486">(Mar 07 2019 at 21:18)</a>:</h4>
<p>So a starter issue is probably to add a kind of "hybrid" algorithm that does this simple check</p>



<a name="160238499"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238499" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238499">(Mar 07 2019 at 21:18)</a>:</h4>
<p>which I figure would be good at getting your feet wet</p>



<a name="160238522"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238522" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238522">(Mar 07 2019 at 21:18)</a>:</h4>
<p>I...guess this can be done locally to Polonius</p>



<a name="160238582"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238582" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238582">(Mar 07 2019 at 21:19)</a>:</h4>
<p>Ah, Ok, and that would be done in the Polonius repo then, using Datafrog et al?</p>



<a name="160238644"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238644" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238644">(Mar 07 2019 at 21:20)</a>:</h4>
<p>Yes--actually, I wonder, <span class="user-mention" data-user-id="116113">@lqd</span> or <span class="user-mention" data-user-id="116118">@Matthew Jasper</span>  do you think one of you could help <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> through that?</p>



<a name="160238650"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238650" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238650">(Mar 07 2019 at 21:20)</a>:</h4>
<p>I suspect both of you know the repo well enough to do so</p>



<a name="160238664"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238664" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238664">(Mar 07 2019 at 21:20)</a>:</h4>
<p>e.g., maybe we create an issue, and you can write up some brief mentoring instructions?</p>



<a name="160238670"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238670" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238670">(Mar 07 2019 at 21:20)</a>:</h4>
<p>and/or just talk over Zulip :)</p>



<a name="160238671"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238671" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238671">(Mar 07 2019 at 21:20)</a>:</h4>
<p>Well, possibly it doesn't even need much datafrog stuff.</p>



<a name="160238672"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238672" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238672">(Mar 07 2019 at 21:20)</a>:</h4>
<p>I'll be away on vacation next week, but other than that, sure</p>



<a name="160238679"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238679" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238679">(Mar 07 2019 at 21:21)</a>:</h4>
<p>unlikely to need datafrog yeah</p>



<a name="160238696"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238696" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238696">(Mar 07 2019 at 21:21)</a>:</h4>
<blockquote>
<p>Well, possibly it doesn't even need much datafrog stuff.</p>
</blockquote>
<p>yes, I don't think for this first round you would actually have to touch datafrog</p>



<a name="160238699"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238699" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238699">(Mar 07 2019 at 21:21)</a>:</h4>
<p>it's kind of at a level higher</p>



<a name="160238711"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238711" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238711">(Mar 07 2019 at 21:21)</a>:</h4>
<p>Wait, I'm not following what this new algorithm would be a hybrid between, if you already have the location insensitive version?</p>



<a name="160238721"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238721" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238721">(Mar 07 2019 at 21:21)</a>:</h4>
<p>if we then try to go the next step, and actually feed the results from the insensitive analysis to the more sensitive one, you would need datafrog</p>



<a name="160238737"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238737" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238737">(Mar 07 2019 at 21:21)</a>:</h4>
<p>a kind of bridge between this lighter version and the full version, in a  single algorithm</p>



<a name="160238742"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238742" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238742">(Mar 07 2019 at 21:21)</a>:</h4>
<p>If someone wants to create an issue and assign it to me I can write up instructions over the weekend.</p>



<a name="160238743"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238743" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238743">(Mar 07 2019 at 21:21)</a>:</h4>
<p>Ah, ok, so it would be the location insensitive plus error export</p>



<a name="160238760"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238760" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238760">(Mar 07 2019 at 21:22)</a>:</h4>
<blockquote>
<p>Wait, I'm not following what this new algorithm would be a hybrid between, if you already have the location insensitive version?</p>
</blockquote>
<p>basically it would do this (pseudocode):</p>
<div class="codehilite"><pre><span></span>IF (insensitive algorithm has errors) {
  run sensitive algorithm
} else {
  return no errors
}
</pre></div>



<a name="160238806"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238806" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238806">(Mar 07 2019 at 21:22)</a>:</h4>
<p>Aaah ok!</p>



<a name="160238815"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238815" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238815">(Mar 07 2019 at 21:22)</a>:</h4>
<p>ok, let me open up an issue right quick</p>



<a name="160238821"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238821" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238821">(Mar 07 2019 at 21:22)</a>:</h4>
<p>and <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> can leave some notes</p>



<a name="160238854"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238854" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238854">(Mar 07 2019 at 21:23)</a>:</h4>
<p>also, dang it, I'm going to transfer <a href="https://github.com/rust-lang-nursery/polonius" target="_blank" title="https://github.com/rust-lang-nursery/polonius">https://github.com/rust-lang-nursery/polonius</a> to the rust-lang GH org</p>



<a name="160238902"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238902" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238902">(Mar 07 2019 at 21:23)</a>:</h4>
<p>(might require fiddling about with cloning the facts, and not adding the universal regions everywhere)</p>



<a name="160238967"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238967" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238967">(Mar 07 2019 at 21:24)</a>:</h4>
<p>yeah, might require some annoyance</p>



<a name="160238975"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238975" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238975">(Mar 07 2019 at 21:24)</a>:</h4>
<p>which reminds me, we should try to refactor some of <em>that</em> stuff</p>



<a name="160238977"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160238977" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160238977">(Mar 07 2019 at 21:24)</a>:</h4>
<p>Do we have any idea what I might be working on after this, given that you described it as  a starter issue? For my abstract/project plan mostly? If not, I can of course just fudge something vague about "improving the borrow checker by integrating context-based analysis" etc</p>



<a name="160239013"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239013" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239013">(Mar 07 2019 at 21:25)</a>:</h4>
<p>Which also has the convenient side-effect of sounding much cooler than "writing a glorified if statement"</p>



<a name="160239014"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239014" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239014">(Mar 07 2019 at 21:25)</a>:</h4>
<p>I was going to propose that, beyond this, we would focus on the "extending Polonius to cover Rust semantics" bit</p>



<a name="160239025"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239025" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239025">(Mar 07 2019 at 21:25)</a>:</h4>
<p>Ah, ok, sounds good!</p>



<a name="160239030"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239030" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239030">(Mar 07 2019 at 21:25)</a>:</h4>
<p>Though I think that focusing on perf might also be a good thing</p>



<a name="160239038"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239038" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239038">(Mar 07 2019 at 21:25)</a>:</h4>
<p>Also, <span class="user-mention" data-user-id="116113">@lqd</span>, we should really land your PR :P</p>



<a name="160239042"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239042" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239042">(Mar 07 2019 at 21:25)</a>:</h4>
<p>I was going to put that as my task of the week :)</p>



<a name="160239043"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239043" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239043">(Mar 07 2019 at 21:25)</a>:</h4>
<p>which one ?</p>



<a name="160239053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239053">(Mar 07 2019 at 21:25)</a>:</h4>
<p>Haha, never a good thing when that's the response</p>



<a name="160239054"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239054" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239054">(Mar 07 2019 at 21:25)</a>:</h4>
<p>the one about subset relations</p>



<a name="160239104"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239104" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239104">(Mar 07 2019 at 21:26)</a>:</h4>
<p>well, I want to read it first anyway</p>



<a name="160239157"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239157" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239157">(Mar 07 2019 at 21:27)</a>:</h4>
<p>I think I read it at some point ;)</p>



<a name="160239160"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239160" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239160">(Mar 07 2019 at 21:27)</a>:</h4>
<p>Anyway, that brings me to another question</p>



<a name="160239177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239177">(Mar 07 2019 at 21:27)</a>:</h4>
<p>Well, I think that getting as much in Polonius first, then optimising is probably the better way to go. I don't see how we can optimize liveness easily if we do the calculation in rustc but only know if it's needed in polonius.</p>



<a name="160239178"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239178" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239178">(Mar 07 2019 at 21:27)</a>:</h4>
<p>(Well, first of all, for your write-up <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> I think you could crib from the existing roadmap material -- I'm kind of hoping we can do all of that in your time working on Polonius :)</p>



<a name="160239186"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239186" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239186">(Mar 07 2019 at 21:27)</a>:</h4>
<p>I think we need some refactoring, renaming, cleaning up etc</p>



<a name="160239191"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239191" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239191">(Mar 07 2019 at 21:27)</a>:</h4>
<blockquote>
<p>Well, I think that getting as much in Polonius first, then optimising is probably the better way to go.</p>
</blockquote>
<p>This was precisely my thinking</p>



<a name="160239248"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239248" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239248">(Mar 07 2019 at 21:28)</a>:</h4>
<p>Also, we may find we did some optimization, but then we discover that it doesn't work in the broader context</p>



<a name="160239255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239255">(Mar 07 2019 at 21:28)</a>:</h4>
<p>The initial perf runs that <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> did were kind of "roughly what I expected"</p>



<a name="160239259"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239259" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239259">(Mar 07 2019 at 21:28)</a>:</h4>
<p>that is to say, pretty dang bad ;)</p>



<a name="160239283"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239283" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239283">(Mar 07 2019 at 21:28)</a>:</h4>
<blockquote>
<p>Also, we may find we did some optimization, but then we discover that it doesn't work in the broader context</p>
</blockquote>
<p>à la CFG compression :) (but we might end up needing it)</p>



<a name="160239294"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239294" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239294">(Mar 07 2019 at 21:29)</a>:</h4>
<p>well, anyway, I mostly mean that I didn't see anything that made me think it'd be better to optimize first</p>



<a name="160239301"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239301" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239301">(Mar 07 2019 at 21:29)</a>:</h4>
<p>It turns out running a borrow check and two half borrow checks is slow. <span aria-label="grinning" class="emoji emoji-1f600" role="img" title="grinning">:grinning:</span></p>



<a name="160239303"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239303" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239303">(Mar 07 2019 at 21:29)</a>:</h4>
<p>heh yes :)</p>



<a name="160239312"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239312" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239312">(Mar 07 2019 at 21:29)</a>:</h4>
<p>so, on the topic o fthe roadmap, what I wanted to add is</p>



<a name="160239320"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239320" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239320">(Mar 07 2019 at 21:29)</a>:</h4>
<p>maybe we can talk a bit about "presentations and context we can give"</p>



<a name="160239403"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239403" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239403">(Mar 07 2019 at 21:30)</a>:</h4>
<p>Here are some ideas I had:</p>
<ul>
<li>a talk trying to connect the "ideas" of polonius to the impl<br>
    - here is where we compute this relation<br>
    - here is how data is transferred between rustc<br>
    - here is how the datafrog code works</li>
</ul>



<a name="160239423"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239423" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239423">(Mar 07 2019 at 21:30)</a>:</h4>
<ul>
<li>a talk trying to explain how datafrog-opt works and how it relates to the naive check</li>
</ul>



<a name="160239448"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239448" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239448">(Mar 07 2019 at 21:30)</a>:</h4>
<p>I'm finding that giving and recording talks is a <strong>lot</strong> less overhead to produce than writing docs, so I'm currently inclined that way</p>



<a name="160239449"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239449" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239449">(Mar 07 2019 at 21:30)</a>:</h4>
<p>That all sounds useful!</p>



<a name="160239457"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239457" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239457">(Mar 07 2019 at 21:31)</a>:</h4>
<p>but tell me if you feel like that's a wrong emphasis :)</p>



<a name="160239491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239491">(Mar 07 2019 at 21:31)</a>:</h4>
<p>in my ideal world, I'd love to work with someone to write docs, based on the talk, which would also help said person (<em>cough</em> <em>cough</em>) to sharpen their own understanding :P</p>



<a name="160239492"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239492" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239492">(Mar 07 2019 at 21:31)</a>:</h4>
<p>(I still want to try setting loose a constraint solver on the same problem and see how it performs; probably worse)</p>



<a name="160239500"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239500" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239500">(Mar 07 2019 at 21:31)</a>:</h4>
<p>oh definitely, I'd love to know</p>



<a name="160239570"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239570" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239570">(Mar 07 2019 at 21:32)</a>:</h4>
<p>I'll just have to write the solver first since there isn't really one in Rust ;)</p>



<a name="160239613"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239613" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239613">(Mar 07 2019 at 21:32)</a>:</h4>
<p>what kind of solver do you need ?</p>



<a name="160239635"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239635" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239635">(Mar 07 2019 at 21:33)</a>:</h4>
<p>ok ok off topci</p>



<a name="160239640"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239640" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239640">(Mar 07 2019 at 21:33)</a>:</h4>
<p>take it to a separate Zulip topic :P</p>



<a name="160239644"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239644" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239644">(Mar 07 2019 at 21:33)</a>:</h4>
<p>Yes, sorry!</p>



<a name="160239651"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239651" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239651">(Mar 07 2019 at 21:33)</a>:</h4>
<p>I'm wondering what other things might be useful :)</p>



<a name="160239663"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239663" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239663">(Mar 07 2019 at 21:33)</a>:</h4>
<p>Other thoughts I had were:</p>
<ul>
<li>Walking through some more complex examples (more theoretical, kind of a continuation of previous talk)</li>
</ul>



<a name="160239668"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239668" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239668">(Mar 07 2019 at 21:33)</a>:</h4>
<ul>
<li>Oh, posting the previous talk (I have to edit out the notifications :P)</li>
</ul>



<a name="160239796"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239796" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239796">(Mar 07 2019 at 21:35)</a>:</h4>
<p>OK, I guess that's a good list</p>



<a name="160239809"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239809" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239809">(Mar 07 2019 at 21:35)</a>:</h4>
<p>For me, I think mainly very basic things would be the most useful; a quick walkthrough of the code I will be working on, that sort of thing</p>



<a name="160239817"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239817" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239817">(Mar 07 2019 at 21:35)</a>:</h4>
<p>Yeah, so, I think what we can do</p>



<a name="160239820"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239820" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239820">(Mar 07 2019 at 21:35)</a>:</h4>
<p>That is not to say that this is the most useful thing for everyone and therefore what you should prioritise</p>



<a name="160239823"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239823" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239823">(Mar 07 2019 at 21:35)</a>:</h4>
<p>When we begin the first "real" task</p>



<a name="160239833"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239833" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239833">(Mar 07 2019 at 21:35)</a>:</h4>
<p>Is we can do a video sort of walking through the relevant bits of code</p>



<a name="160239882"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239882" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239882">(Mar 07 2019 at 21:36)</a>:</h4>
<p>I was thinking a good next task for you <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> might be </p>
<blockquote>
<p>Integrating move / overwrite analysis (a la Lark)</p>
</blockquote>



<a name="160239903"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239903" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239903">(Mar 07 2019 at 21:36)</a>:</h4>
<p>Yes! I had a question about that!</p>



<a name="160239905"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239905" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239905">(Mar 07 2019 at 21:36)</a>:</h4>
<p>...what is Lark</p>



<a name="160239918"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239918" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239918">(Mar 07 2019 at 21:36)</a>:</h4>
<p>both because I kind of did some of the preliminary work (in Lark) and because it's a big step towards the goal of making Polonius "take charge" of more of the borrow checker</p>



<a name="160239920"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239920" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239920">(Mar 07 2019 at 21:36)</a>:</h4>
<p>And this is after the if statement you described above, right?</p>



<a name="160239923"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239923" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239923">(Mar 07 2019 at 21:36)</a>:</h4>
<blockquote>
<p>...what is Lark</p>
</blockquote>
<p>such a deep question :)</p>



<a name="160239942"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239942" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239942">(Mar 07 2019 at 21:37)</a>:</h4>
<p>Lark is a compiler / language that I was working on with a few other folks</p>



<a name="160239947"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239947" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239947">(Mar 07 2019 at 21:37)</a>:</h4>
<p>It was kind of us just messing around</p>



<a name="160239957"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239957" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239957">(Mar 07 2019 at 21:37)</a>:</h4>
<p>and I wish I had time to work on it more :P</p>



<a name="160239960"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239960" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239960">(Mar 07 2019 at 21:37)</a>:</h4>
<p>but regardless it had a borrow-checker like setup</p>



<a name="160239973"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239973" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239973">(Mar 07 2019 at 21:37)</a>:</h4>
<p>Moverwrite analysis</p>



<a name="160239984"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160239984" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160239984">(Mar 07 2019 at 21:37)</a>:</h4>
<p><a href="https://github.com/lark-exploration/lark/blob/master/components/lark-type-check/src/full_inference/analysis/initialization.rs" target="_blank" title="https://github.com/lark-exploration/lark/blob/master/components/lark-type-check/src/full_inference/analysis/initialization.rs">The relevant code in Lark</a></p>



<a name="160240041"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240041" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240041">(Mar 07 2019 at 21:38)</a>:</h4>
<p>Probably not very well documented</p>



<a name="160240050"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240050" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240050">(Mar 07 2019 at 21:38)</a>:</h4>
<p>since I think I wrote it in the wee hours over xmas break before my daughter would wake up :P</p>



<a name="160240060"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240060" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240060">(Mar 07 2019 at 21:38)</a>:</h4>
<p>actually, I'm planning next week to give a talk on the Lark type checker, and I might cover some of this stuff</p>



<a name="160240063"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240063" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240063">(Mar 07 2019 at 21:38)</a>:</h4>
<p>I was wondering if working on the location insensitive analysis would be a worthwhile roadmap item ? to see if we could make it closer to the NLL insensitive analysis and produce less false positives, or would sharing the partial results between the 2 analyses may be enough to still be fast enough, I'm not sure</p>



<a name="160240068"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240068" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240068">(Mar 07 2019 at 21:38)</a>:</h4>
<p>(that is part of the RLS 2.0 effort)</p>



<a name="160240078"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240078" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240078">(Mar 07 2019 at 21:38)</a>:</h4>
<blockquote>
<p>I was wondering if working on the location insensitive analysis would be a worthwhile roadmap item ? to see if we could make it closer to the NLL insensitive analysis and produce less false positives, or would sharing the partial results between the 2 analyses may be enough to still be fast enough, I'm not sure</p>
</blockquote>
<p>yeah, probably</p>



<a name="160240093"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240093" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240093">(Mar 07 2019 at 21:39)</a>:</h4>
<p>actually, it's already on there</p>



<a name="160240094"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240094" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240094">(Mar 07 2019 at 21:39)</a>:</h4>
<ul>
<li>Explore the ‘location insensitive first’ variant</li>
</ul>



<a name="160240107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240107">(Mar 07 2019 at 21:39)</a>:</h4>
<p>ah sorry</p>



<a name="160240110"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240110" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240110">(Mar 07 2019 at 21:39)</a>:</h4>
<p>under <a href="https://paper.dropbox.com/doc/Polonius-Roadmap--AY6nI2vMI1hk33qKxPLiu~mxAg-hk3a9ynduUN2gk1A0NNTF#:uid=184079232073894752586981&amp;h2=Rustc-Performance" target="_blank" title="https://paper.dropbox.com/doc/Polonius-Roadmap--AY6nI2vMI1hk33qKxPLiu~mxAg-hk3a9ynduUN2gk1A0NNTF#:uid=184079232073894752586981&amp;h2=Rustc-Performance">Rustc Performance</a></p>



<a name="160240127"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240127" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240127">(Mar 07 2019 at 21:39)</a>:</h4>
<p>In that sense, this "starter issue" that I proposed isn't really working towards the main goal</p>



<a name="160240133"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240133" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240133">(Mar 07 2019 at 21:39)</a>:</h4>
<p>(if we are going to focus on completeness first)</p>



<a name="160240135"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240135" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240135">(Mar 07 2019 at 21:39)</a>:</h4>
<p>so maybe it's not the best choice</p>



<a name="160240136"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240136" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240136">(Mar 07 2019 at 21:39)</a>:</h4>
<p>but it seemed like it wouldn't be too hard</p>



<a name="160240140"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240140" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240140">(Mar 07 2019 at 21:39)</a>:</h4>
<p>and it would get <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> more familiar with the basic setup</p>



<a name="160240181"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240181" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240181">(Mar 07 2019 at 21:40)</a>:</h4>
<p>I'm open to other ideas :)</p>



<a name="160240213"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240213" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240213">(Mar 07 2019 at 21:40)</a>:</h4>
<p>Do you intend to keep NLL around after Polonius is finished?</p>



<a name="160240222"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240222" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240222">(Mar 07 2019 at 21:40)</a>:</h4>
<p>Also, what is the difference between NLL and Polonius?</p>



<a name="160240239"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240239" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240239">(Mar 07 2019 at 21:41)</a>:</h4>
<p>I thought Polonius was an implementation of the NLL concept so to speak?</p>



<a name="160240254"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240254" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240254">(Mar 07 2019 at 21:41)</a>:</h4>
<p>(this is, now that I think about it, one of the questions I wrote down for future meetings)</p>



<a name="160240269"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240269" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240269">(Mar 07 2019 at 21:41)</a>:</h4>
<p>if completeness is a goal of interesting, maybe move/overwrite analysis then, Lark's is small, it uses datafrog so it's more polonius-y</p>



<a name="160240280"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240280" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240280">(Mar 07 2019 at 21:41)</a>:</h4>
<p>I'll speak for myself but I describe Polonius as NLL 2.0</p>



<a name="160240345"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240345" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240345">(Mar 07 2019 at 21:42)</a>:</h4>
<p>NLL is referring to the current region solver used by the MIR borrow checker</p>



<a name="160240346"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240346" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240346">(Mar 07 2019 at 21:42)</a>:</h4>
<p>I think NLL 2.0 is a good description</p>



<a name="160240350"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240350" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240350">(Mar 07 2019 at 21:42)</a>:</h4>
<p>that is, NLLs, + the use cases we decided to do later, + other extensions</p>



<a name="160240352"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240352" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240352">(Mar 07 2019 at 21:42)</a>:</h4>
<p>though really Polonius doesn't have "lifetimes"</p>



<a name="160240356"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240356" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240356">(Mar 07 2019 at 21:42)</a>:</h4>
<p>in the same sense</p>



<a name="160240365"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240365" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240365">(Mar 07 2019 at 21:42)</a>:</h4>
<p>NLR</p>



<a name="160240369"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240369" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240369">(Mar 07 2019 at 21:42)</a>:</h4>
<p>but more like "provenance" (i.e., it tracks where the pointers could have come from)</p>



<a name="160240388"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240388" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240388">(Mar 07 2019 at 21:43)</a>:</h4>
<p>(credit to <span class="user-mention" data-user-id="127262">@Aaron Weiss</span> for choosing that term ;)</p>



<a name="160240408"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240408" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240408">(Mar 07 2019 at 21:43)</a>:</h4>
<blockquote>
<p>if completeness is a goal of interesting, maybe move/overwrite analysis then, Lark's is small, it uses datafrog so it's more polonius-y</p>
</blockquote>
<p>hmm, you mean as a "starter goal"? I feel like it's a bit more involved</p>



<a name="160240425"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240425" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240425">(Mar 07 2019 at 21:43)</a>:</h4>
<p>/me thinks</p>



<a name="160240426"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240426" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240426">(Mar 07 2019 at 21:43)</a>:</h4>
<p>maybe yeah</p>



<a name="160240475"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240475" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240475">(Mar 07 2019 at 21:44)</a>:</h4>
<p>I still feel like the hybrid thing is good :)</p>



<a name="160240481"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240481" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240481">(Mar 07 2019 at 21:44)</a>:</h4>
<p>it won't take that long</p>



<a name="160240513"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240513" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240513">(Mar 07 2019 at 21:44)</a>:</h4>
<p>in the meantime, let me think about what would be a good talk to do that tries to get into how move/init might work, because I think that's a good first "real goal"</p>



<a name="160240523"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240523" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240523">(Mar 07 2019 at 21:44)</a>:</h4>
<p>that will be a bit trickier because it will semi-intersect rustc</p>



<a name="160240640"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240640" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240640">(Mar 07 2019 at 21:46)</a>:</h4>
<p>maybe there can be a stepping stone between the 2</p>



<a name="160240666"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240666" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240666">(Mar 07 2019 at 21:46)</a>:</h4>
<p>And the existing code is a pain to understand.</p>



<a name="160240685"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240685" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240685">(Mar 07 2019 at 21:46)</a>:</h4>
<p><span class="user-mention" data-user-id="116118">@Matthew Jasper</span> do you mean the code in rustc?</p>



<a name="160240695"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240695" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240695">(Mar 07 2019 at 21:46)</a>:</h4>
<p>Yes</p>



<a name="160240699"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240699" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240699">(Mar 07 2019 at 21:46)</a>:</h4>
<p>Music to my ears</p>



<a name="160240712"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240712" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240712">(Mar 07 2019 at 21:47)</a>:</h4>
<p>Yeah, I am wondering -- is there refactorings we can do there?</p>



<a name="160240721"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240721" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240721">(Mar 07 2019 at 21:47)</a>:</h4>
<p>That might be a good "stepping stone" sort of issue</p>



<a name="160240740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240740">(Mar 07 2019 at 21:47)</a>:</h4>
<p>It's OK by rustc standards, I guess.</p>



<a name="160240836"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240836" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240836">(Mar 07 2019 at 21:48)</a>:</h4>
<p>Ok, but the move/init code would be done in/on rustc itself?</p>



<a name="160240893"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240893" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240893">(Mar 07 2019 at 21:49)</a>:</h4>
<p>No, the idea is to add some fact generation to rustc, move the checking to polonius and keep the error reporting in rustc.</p>



<a name="160240903"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240903" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240903">(Mar 07 2019 at 21:49)</a>:</h4>
<p>Ah, OK</p>



<a name="160240932"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240932" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240932">(Mar 07 2019 at 21:49)</a>:</h4>
<p>Is this the intended final design as well, to have polonius be sort of a separate component?</p>



<a name="160240945"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160240945" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160240945">(Mar 07 2019 at 21:50)</a>:</h4>
<p>Or is it just what you are going with for now?</p>



<a name="160241067"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241067" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241067">(Mar 07 2019 at 21:51)</a>:</h4>
<p>that is the intended final design</p>



<a name="160241073"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241073" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241073">(Mar 07 2019 at 21:51)</a>:</h4>
<p>unfortunate that the last polonius blogpost is the more complicated higher rank subregions; there are things I haven't finished for the previous post though, some rustc facts generation to be precise</p>



<a name="160241075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241075">(Mar 07 2019 at 21:51)</a>:</h4>
<p>however, I don't know whether the current interface will remain</p>



<a name="160241109"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241109" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241109">(Mar 07 2019 at 21:51)</a>:</h4>
<p>in particular, right now we deliver "big vectors", maybe we'll want to tweak that?</p>



<a name="160241117"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241117" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241117">(Mar 07 2019 at 21:51)</a>:</h4>
<p>but I do want to retain the idea of there being a crate boundary with a defined interface</p>



<a name="160241118"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241118" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241118">(Mar 07 2019 at 21:52)</a>:</h4>
<p>probably</p>



<a name="160241202"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241202" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241202">(Mar 07 2019 at 21:52)</a>:</h4>
<p>maybe somewhat of a 2-staged process if fact generation turns out to be heavy, which we'll know more after the initial perf investigations ?</p>



<a name="160241310"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241310" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241310">(Mar 07 2019 at 21:54)</a>:</h4>
<p>yeah, we'll see</p>



<a name="160241330"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241330" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241330">(Mar 07 2019 at 21:54)</a>:</h4>
<p>ok, so I'm happy with the plan for this week, let me open that issue on the polonius repo</p>



<a name="160241346"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241346" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241346">(Mar 07 2019 at 21:54)</a>:</h4>
<p>I made <a href="https://paper.dropbox.com/doc/Polonius-Roadmap--AY6nI2vMI1hk33qKxPLiu~mxAg-hk3a9ynduUN2gk1A0NNTF" target="_blank" title="https://paper.dropbox.com/doc/Polonius-Roadmap--AY6nI2vMI1hk33qKxPLiu~mxAg-hk3a9ynduUN2gk1A0NNTF">tasks for each of us in the paper</a>, everybody agree? :)</p>



<a name="160241362"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241362" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241362">(Mar 07 2019 at 21:54)</a>:</h4>
<p>looks good!</p>



<a name="160241364"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241364" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241364">(Mar 07 2019 at 21:54)</a>:</h4>
<p>ah that reminds me, I wanted to ask about this one:</p>



<a name="160241368"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241368" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241368">(Mar 07 2019 at 21:54)</a>:</h4>
<blockquote>
<p>Schedule a walkthrough of how polonius code works</p>
</blockquote>



<a name="160241384"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241384" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241384">(Mar 07 2019 at 21:55)</a>:</h4>
<p>I think this is a good idea, and i'm happy to give the talk, but it occurred to me that maybe <span class="user-mention" data-user-id="116113">@lqd</span> or <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> you might also enjoy doing so</p>



<a name="160241390"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241390" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241390">(Mar 07 2019 at 21:55)</a>:</h4>
<p>this was the idea of trying to connect the "theory" to the actual code</p>



<a name="160241408"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241408" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241408">(Mar 07 2019 at 21:55)</a>:</h4>
<p>but yeah no pressure :) speaking and being recorded is not everybody's thing</p>



<a name="160241413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241413">(Mar 07 2019 at 21:55)</a>:</h4>
<p>and I know <span class="user-mention" data-user-id="116113">@lqd</span> you'll be on vacation anyway</p>



<a name="160241467"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241467" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241467">(Mar 07 2019 at 21:56)</a>:</h4>
<p>:)</p>



<a name="160241483"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241483" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241483">(Mar 07 2019 at 21:56)</a>:</h4>
<p>(though we wouldn't have to do it next week, but it might be good to do so)</p>



<a name="160241559"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241559" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241559">(Mar 07 2019 at 21:57)</a>:</h4>
<p>Starting Wednesday this week (it's Friday for me now), I will be in a more reasonable time zone as well</p>



<a name="160241560"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241560" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241560">(Mar 07 2019 at 21:57)</a>:</h4>
<p>I'm not sure I'm familiar enough with the polonius crate to give a talk on it.</p>



<a name="160241646"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241646" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241646">(Mar 07 2019 at 21:58)</a>:</h4>
<p>I <em>could</em> write docs about the parts I'm familiar with</p>



<a name="160241670"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241670" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241670">(Mar 07 2019 at 21:58)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> what's your GH user name btw?</p>



<a name="160241683"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241683" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241683">(Mar 07 2019 at 21:59)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> it would be helpful to me if you made another doodle poll concerning the walk through btw</p>



<a name="160241708"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241708" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241708">(Mar 07 2019 at 21:59)</a>:</h4>
<p>I will make a topic</p>



<a name="160241852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241852">(Mar 07 2019 at 22:01)</a>:</h4>
<blockquote>
<p>I <em>could</em> write docs about the parts I'm familiar with</p>
</blockquote>
<p>I was going to ask about that -- I suspect polonius itself needs more docs</p>



<a name="160241856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241856">(Mar 07 2019 at 22:01)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> Will do! And it's albins</p>



<a name="160241971"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160241971" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160241971">(Mar 07 2019 at 22:02)</a>:</h4>
<p>ok I'll try and write some when I'm back</p>



<a name="160242029"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242029" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242029">(Mar 07 2019 at 22:03)</a>:</h4>
<p>(because I'm on Mars or something, I get messages in batches, intermittently)</p>



<a name="160242163"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242163" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242163">(Mar 07 2019 at 22:04)</a>:</h4>
<p>Oh, one other adminstrative thing</p>



<a name="160242182"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242182" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242182">(Mar 07 2019 at 22:05)</a>:</h4>
<p>The compiler team has been working on our "crates policy"</p>



<a name="160242185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242185">(Mar 07 2019 at 22:05)</a>:</h4>
<p>and I'm pretty sure polonius doesn't comply</p>



<a name="160242194"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242194" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242194">(Mar 07 2019 at 22:05)</a>:</h4>
<p>I will open an issue, but we should make a few changes to bring it in sync</p>



<a name="160242205"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242205" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242205">(Mar 07 2019 at 22:05)</a>:</h4>
<p>Most notably, we should point to the Polonius WG as the maintainers, and point people at the Zulip</p>



<a name="160242207"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242207" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242207">(Mar 07 2019 at 22:05)</a>:</h4>
<p>and probably align our issue labels</p>



<a name="160242227"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242227" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242227">(Mar 07 2019 at 22:05)</a>:</h4>
<p>and datafrog as well (I think the WG doesn't have write perms on it anymore)</p>



<a name="160242238"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242238" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242238">(Mar 07 2019 at 22:06)</a>:</h4>
<p>ah yeah</p>



<a name="160242287"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242287" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242287">(Mar 07 2019 at 22:06)</a>:</h4>
<p>let me fix that stuff up</p>



<a name="160242295"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242295" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242295">(Mar 07 2019 at 22:06)</a>:</h4>
<p>I'm still feeling uncertain about GH permission setup :/</p>



<a name="160242334"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242334" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242334">(Mar 07 2019 at 22:06)</a>:</h4>
<p>GH's requiring write perms just for issues and such is a bit unfortunate</p>



<a name="160242383"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242383" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242383">(Mar 07 2019 at 22:07)</a>:</h4>
<p>wg-meta and t-infra will figure it out :)</p>



<a name="160242405"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242405" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242405">(Mar 07 2019 at 22:07)</a>:</h4>
<p>yeah, we need to schedule a meeting for that...</p>



<a name="160242411"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242411" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242411">(Mar 07 2019 at 22:08)</a>:</h4>
<p>I'll go open a topic on that</p>



<a name="160242677"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242677" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242677">(Mar 07 2019 at 22:11)</a>:</h4>
<p>Ok, I sense that the meeting is kind of winding up, so let me check if I have any other questions before everyone else leaves</p>



<a name="160242694"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242694" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242694">(Mar 07 2019 at 22:11)</a>:</h4>
<p>OK =) (also, <span class="user-mention" data-user-id="204115">@Albin Stjerna</span>, you should accept the invitation to the rust-lang org that I just sent you -- <a href="https://github.com/orgs/rust-lang/invitations/albins/edit" target="_blank" title="https://github.com/orgs/rust-lang/invitations/albins/edit">this link may work</a>, but maybe not)</p>



<a name="160242747"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242747" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242747">(Mar 07 2019 at 22:12)</a>:</h4>
<p>on another administrative note, should we open a PR summary of this meeting in the compiler-team repo for this WG ? if so, I can take care of it tomorrow (but I'll need to check the procedure first)</p>



<a name="160242807"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242807" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242807">(Mar 07 2019 at 22:13)</a>:</h4>
<p>the "higher-ranked things" entry in the Paper roadmap, what does that mean? Also, what does it mean that it intersects with the traits group?</p>



<a name="160242808"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242808" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242808">(Mar 07 2019 at 22:13)</a>:</h4>
<blockquote>
<p>on another administrative note, should we open a PR summary of this meeting in the compiler-team repo for this WG ? if so, I can take care it tomorrow (but I'll need to check the procedure first)</p>
</blockquote>
<p>that would be excellent. My preferred structure is to do </p>
<p>working-groups/wg-polonius/minutes/2019.03.07.md </p>
<p>with a kind of summary of the conclusions and a link to the Zulip thread. No need to get super detailed, people can re-read the thread, but if you want to highlight significant points so they can jump there, that's nice of you :)</p>



<a name="160242841"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242841" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242841">(Mar 07 2019 at 22:13)</a>:</h4>
<blockquote>
<p>the "higher-ranked things" entry in the Paper roadmap, what does that mean? Also, what does it mean that it intersects with the traits group?</p>
</blockquote>
<p>read <a href="http://smallcultfollowing.com/babysteps/blog/2019/01/21/hereditary-harrop-region-constraints/" target="_blank" title="http://smallcultfollowing.com/babysteps/blog/2019/01/21/hereditary-harrop-region-constraints/">this blog post</a>, <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> :)</p>



<a name="160242842"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242842" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242842">(Mar 07 2019 at 22:13)</a>:</h4>
<p>alright, will do</p>



<a name="160242858"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242858" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242858">(Mar 07 2019 at 22:13)</a>:</h4>
<p>Yay, async!</p>



<a name="160242925"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242925" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242925">(Mar 07 2019 at 22:14)</a>:</h4>
<p>Ok, so <span class="user-mention" data-user-id="116009">@nikomatsakis</span>'s blog is one of the things blessed with loading just fine over the network now</p>



<a name="160242928"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242928" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242928">(Mar 07 2019 at 22:14)</a>:</h4>
<p>Github is not</p>



<a name="160242941"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242941" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242941">(Mar 07 2019 at 22:14)</a>:</h4>
<p>thanks <span class="user-mention" data-user-id="116113">@lqd</span></p>



<a name="160242982"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242982" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242982">(Mar 07 2019 at 22:15)</a>:</h4>
<p>I can't find you in the list of users in Dropbox :)</p>



<a name="160242985"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160242985" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160242985">(Mar 07 2019 at 22:15)</a>:</h4>
<p>but that doesnt' matter</p>



<a name="160243008"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160243008" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160243008">(Mar 07 2019 at 22:15)</a>:</h4>
<p>ah it's probably under my name (Rémy R.)</p>



<a name="160243103"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160243103" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160243103">(Mar 07 2019 at 22:16)</a>:</h4>
<p>(hence my preference for hackmd but it's neither here nor there)</p>



<a name="160243158"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160243158" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160243158">(Mar 07 2019 at 22:17)</a>:</h4>
<p>Yay managed to join the GH team!</p>



<a name="160243160"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160243160" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160243160">(Mar 07 2019 at 22:18)</a>:</h4>
<p>Ok, I think that was all my questions</p>



<a name="160243229"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160243229" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160243229">(Mar 07 2019 at 22:18)</a>:</h4>
<p>so I think we're all good here ?</p>



<a name="160243257"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160243257" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160243257">(Mar 07 2019 at 22:19)</a>:</h4>
<p>Yep, thanks everyone, awesome meeting.</p>



<a name="160243269"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160243269" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160243269">(Mar 07 2019 at 22:19)</a>:</h4>
<p>So the next step is waiting for <span class="user-mention" data-user-id="116118">@Matthew Jasper</span>'s intro, then doing the hybrid thing and collecting more questions, plus doing my homework reading the blog post about higher-ranked things and Polonius. That's definitely work for  a week at least!</p>



<a name="160243287"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160243287" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160243287">(Mar 07 2019 at 22:19)</a>:</h4>
<p>if so good evening everyone :) and welcome <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> do not hesitate to ping if you need any help (I myself am in an European TZ)</p>



<a name="160243314"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160243314" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160243314">(Mar 07 2019 at 22:20)</a>:</h4>
<p>I'm currently on Melbourne time, but I'll be back inSweden mid-next week</p>



<a name="160243373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160243373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160243373">(Mar 07 2019 at 22:20)</a>:</h4>
<p>(if anyone wants kangaroo pictures just ask)</p>



<a name="160243485"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160243485" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160243485">(Mar 07 2019 at 22:22)</a>:</h4>
<blockquote>
<p>So the next step is waiting for <span class="user-mention silent" data-user-id="116118">Matthew Jasper</span>'s intro, then doing the hybrid thing and collecting more questions, plus doing my homework reading the blog post about higher-ranked things and Polonius. That's definitely work for  a week at least!</p>
</blockquote>
<p>obviously feel free to ask questions anytime <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> :)</p>



<a name="160243529"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160243529" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160243529">(Mar 07 2019 at 22:22)</a>:</h4>
<blockquote>
<blockquote>
<p>So the next step is waiting for <span class="user-mention silent" data-user-id="116118">Matthew Jasper</span>'s intro, then doing the hybrid thing and collecting more questions, plus doing my homework reading the blog post about higher-ranked things and Polonius. That's definitely work for  a week at least!</p>
</blockquote>
<p>obviously feel free to ask questions anytime <span class="user-mention silent" data-user-id="204115">Albin Stjerna</span> :)</p>
</blockquote>
<p>Oh I will, but thanks for telling me :)</p>



<a name="160289343"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160289343" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160289343">(Mar 08 2019 at 13:36)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <a href="https://github.com/rust-lang/compiler-team/pull/33" target="_blank" title="https://github.com/rust-lang/compiler-team/pull/33">here</a> is the PR for the yesterday's meeting minutes</p>



<a name="160330245"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160330245" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160330245">(Mar 08 2019 at 22:07)</a>:</h4>
<p>oh dang I added a link to Lark's initialization analysis but forgot to reference it in the text, I'll fix it when I'm back</p>



<a name="160330388"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.07/near/160330388" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E07.html#160330388">(Mar 08 2019 at 22:09)</a>:</h4>
<p>I'll also fix the missing word and misspellings <span aria-label="scream" class="emoji emoji-1f631" role="img" title="scream">:scream:</span></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>